Logical consequence - PDFSEARCH.IO - Document Search Engine

Logical consequence
Results: 692

#	Item
71	From Exponential to Polynomial-time Security Typing via Principal Types Sebastian Hunt1 and David Sands2 1 2 Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2011-03-01 05:21:51 Logical consequence Logical syntax Metalogic Natural deduction Logic Deduction Entailment
72	Prawitz’s proof-theoretic account of consequence John MacFarlane — Philosophy 142 March 15, 2011 1 Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-03-15 15:24:03 Logical consequence Critical thinking Propositional calculus Natural deduction Disjunctive syllogism Validity Entailment Philosophy of mathematics Inference Logic Deduction Arguments
73	Relevance Logic John MacFarlane—Philosophy 142 March 29, 2011 1 Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-03-29 14:48:50 Logical consequence Deduction Boolean algebra Entailment Disjunctive syllogism Validity Modus ponens Disjunctive normal form Relevance logic Logic Rules of inference Propositional calculus
74	➠ ➡ TOWARDS A UNIFIED FRAMEWORK FOR CONTENT-BASED AUDIO ANALYSIS Lie Lu1, Rui Cai2, and Alan Hanjalic3 1 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-08-10 10:41:29 Reasoning Computational linguistics Inference Logical consequence Bayesian network Semantics Speech recognition Logic Statistics Science
75	Questions of Reasoning Under Logical Uncertainty Nate Soares and Benja Fallenstein Machine Intelligence Research Institute {nate,benja}@intelligence.org Abstract Add to Reading List Source URL: intelligence.org Language: English - Date: 2015-03-20 21:16:44 Reasoning Logical consequence Non-classical logic Probabilistic logic Entailment First-order logic Bayesian probability Inference Complete theory Logic Philosophical logic Model theory
76	Prior’s tonk John MacFarlane — Philosophy 142 March 15, 2011 1 Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-03-15 15:06:47 Logical consequence Metalogic Philosophy of mathematics Entailment Rule of inference Inference Negation Proof theory Rudolf Carnap Logic Propositional calculus Logical syntax
77	ON IRRELEVANCE AND ALGORITHMIC EQUALITY IN PREDICATIVE TYPE THEORY ANDREAS ABEL AND GABRIEL SCHERER Department of Computer Science, Ludwig-Maximilians-University Munich e-mail address: Gallium tea Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2012-01-13 11:43:16 Mathematics Metalogic Proof theory Lambda calculus Entailment Logical consequence Normalisation by evaluation Sheaf Soundness Logic Mathematical logic Deduction
78	Kybernetes). - word count: Bootstrapping knowledge representations: from entailment meshes via semantic nets to learning webs Francis HEYLIGHEN Add to Reading List Source URL: pcp.vub.ac.be Language: English - Date: 2014-05-02 12:27:22 Cybernetics Interdisciplinary fields Logical consequence Systems theory Systems scientists Gordon Pask Conversation theory Center Leo Apostel for Interdisciplinary Studies Francis Heylighen Science Logic Knowledge
79	Memory & Cognition 2003, 31 (7), Counterexamples in sentential reasoning P. N. JOHNSON-LAIRD and URI HASSON Princeton University, Princeton, New Jersey Add to Reading List Source URL: www.behaviometrix.com Language: English - Date: 2008-10-24 13:52:28 Reasoning Deduction Thought Mental model Inference Argument Counterexample Entailment Validity Logic Arguments Logical consequence
80	Multi-focusing on extensional rewriting with sums Gabriel Scherer1 1 Gallium, INRIA, France Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2015-04-02 15:59:38 Deduction Logical consequence Natural deduction Propositional calculus Sequent calculus Entailment Linear logic Monotonicity of entailment Curry–Howard correspondence Logic Proof theory Mathematical logic

UPDATE